void time_init();
unsigned long time_tick ();
void pause_tick (unsigned long ticks);
//void T4_isr () interrupt 0x24
unsigned int get_time_100ms();
void set_time_100ms(unsigned int time);

